This book examines the logical foundations of visual information: information presented in the form of diagrams, graphs, charts, tables, and maps. The importance of visual information is clear from its frequent presence in everyday reasoning and communication, and also in compution. Chapters of the book develop the logics of familiar systems of diagrams such as Venn diagrams and Euler circles. Other chapters develop the logic of higraphs, Pierce diagrams, and a system having both diagrams and sentences among its well-formed representations. (...) Syntax, semantics, rules of inference and soundness and completeness results are provided for each of the systems. In addition to developing the logic of diagrams, key questions about the status of visual information Hammer discusses, such as the relationship between the language and visually-presented information. (shrink)

This paper describes a way of creating and maintaining a `dynamic encyclopedia', i.e., an encyclopedia whose entries can be improved and updated on a continual basis without requiring the production of an entire new edition. Such an encyclopedia is therefore responsive to new developments and new research. We discuss our implementation of a dynamic encyclopedia and the problems that we had to solve along the way. We also discuss ways of automating the administration of the encyclopedia.

The evolution of Euler diagrams is examined from Euler's original system through the modifications made by Venn and Peirce. It is shown that these modifications were motivated by an attempt to increase the expressivity of the diagrams, but that a side effect of these modifications was a loss of the visual clarity of Euler's original system. Euler's original system is reconstructed from a modern, logical point of view. Formal semantics and rules of inference are provided for this reconstruction of Euler's (...) system, and basic logical properties are proved. (shrink)

How diverse is philosophy? In this paper we explore recent data on the racial, ethnic, and gender diversity of philosophy students and faculty in the United States. We have found that women are underrepresented in philosophy at all levels from first-year intention to major through senior faculty. The past four years have seen an increase in the percentage of women philosophy majors at the undergraduate level, but it remains to be seen if this recent increase in the percentage of women (...) will eventually also show at more advanced stages. Temporal trends since 2000 also show substantial increases in the racial and ethnic diversity of philosophy majors at all levels of education from first-year undergraduate through PhD, with substantial declines in the percentage of non-Hispanic White philosophy majors and substantial increases in all other commonly measured racial/ethnic groups except for Native American / Alaska Native. Despite generally increasing diversity, people who identify as Hispanic (any race), or non-Hispanic Native American, Alaska Native, or Black remain substantially underrepresented in philosophy at all levels compared to their presence in the U.S. population, and in some cases also as compared to other majors. (shrink)

A formal system is studied having both sentences and diagrams as well-formed representations. Proofs in the system allow inference back and forth between sentences and diagrams, as well as between diagrams and diagrams, and between sentences and sentences. This sort of heterogeneous system is of interest because external representations other than linguistic ones occur commonly in actual reasoning in conjunction with language. Syntax, semantics, and rules of inference for the system are given and it is shown to be sound and (...) complete. (shrink)

A logical system is studied whose well-formed representations consist of diagrams rather than formulas. The system, due to Shin [2, 3], is shown to be complete by an argument concerning maximally consistent sets of diagrams. The argument is complicated by the lack of a straight forward counterpart of atomic formulas for diagrams, and by the lack of a counterpart of negation for most diagrams.

A linear notation for Charles S. Peirce's alpha and beta diagrammatic systems of existential graphs is presented. These two systems are equivalent to propositional and first-order logic. Some differences between the linear and graphical notation are analyzed, revealing some of the strengths and weaknesses of Peirce's system.

This paper examines Charles Peirce's graphical notation for first-order logic with identity. The notation forms a part of his system of "existential graphs," which Peirce considered to be his best work in logic. In this paper a Tarskian semantics is provided for the graphical system.

This paper is a logical study of valid uses of symmetry in deductive reasoning, of what underlying principles make some appeals to symmetry legitimate but others illegitimate. The issue is first motivated informally. A framework is then given covering a fairly broad range of symmetry arguments, and the formulation of symmetry provided is shown to be a valid principle of reasoning, as is a slightly stronger principle of reasoning, one that is shown to be in some sense as strong as (...) possible. The relationship between symmetry and isomorphism is discussed, and finally the framework is extended to a more general model-theoretic setting. (shrink)

Several accounts of logical truth are compared and shown to define distinct concepts. Nevertheless, conditions are given under which they happen to declare exactly the same sentences logically true. These conditions involve the variety of objects in the domain, the richness of the language, and the logical resources available. It is argued that the class of sentences declared logically true by each of the accounts depends on particularities of the actual world.

"_Weaving the World_ is a well-written and lucid overview of Simone Weil's writings on science and mathematics. This book will be of great benefit for anyone who wishes to pursue Weil's thought in depth." —_Eric O. Springsted, President of the American Weil Society_ "_Weaving the World_ is a detailed account of the philosophy of science and knowledge of Simone Weil. It is a very useful contribution to our understanding of one of the deepest and most incandescent thinkers of the twentieth (...) century." —_Martin Andic, University of Massachusetts, Boston_ This clearly written book introduces readers to Simone Weil’s philosophy of science and mathematics. Weil held that, for the ancient Greeks, the ultimate purpose of science and mathematics was the knowledge and love of the divine. Her creative assimilation of this vision led her to a conception of science and mathematics that connects the human person with not only the physical world but also the spiritual and aesthetic aspects of human existence. Vance Morgan sketches an outline of a metaphysical foundation for mathematics and science that, according to Weil, opens the door to a reinvigorated discussion among science, philosophy, art, and religion. (shrink)

Dans la deuxième moitié des années 1980 s’est développée, dans l’ensemble du champ de la culture, une véritable esthétique de la bêtise. Quelques jeunes critiques d’art se sont alors emparés du phénomène et ont tenté de le théoriser, entre 1994 et 1998, dans les revues les plus lues de l’époque : Flash Art International, Artpress, Frieze. L’étude de ce corpus d’articles (signés par Joshua Decter, Éric Troncy, Jon Savage, Andrew Hulktrans et Jean-Yves Jouannais) témoigne à la fois des mutations de (...) la critique d’art de l’époque et de l’enjeu que représente alors l’art délibérément bête. On remarquera que la critique d’art se fait alors critique culturelle : elle regarde peu les œuvres, réduites au statut d’illustrations et d’arguments visuels. On s’interrogera également sur la place que les revues d’art contemporain ont accordée à la culture populaire médiatique la plus régressive du temps. Beavis & Butt-Head, Melrose Place ou encore Alerte à Malibu ont été ainsi disséqués dans les colonnes d’ Artforum ou de Flash Art. Alors que les œuvres d’art estampillées « art contemporain » donnaient lieu à des analyses étonnamment sommaires, ce sont les séries télévisées et les dessins animés qui ont conduit aux analyses les plus stimulantes. Elles l’ont fait en recourant au paradigme de la méta-criticalité cher au modernisme, conférant aux œuvres les plus régressives le statut d’image spéculaire, à la fois duplice et critique, de la culture de la bêtise qui les générait. Pointe alors le paradoxe suivant : alternant entre l’enthousiasme forcené et la déploration, la critique d’art des années 1990 a intellectualisé l’anti-intellectualisme le plus radical. (shrink)

Religions teach their adherents how to see and feel at the same time, so learning to see is not a disembodied process but one hammered out on the forge of human need, social relations, and material practice. Therefore, religions may be studied through the lens of salient visual themes. This book tells a history of Catholic and Protestant Christianity since the sixteenth century by selecting visual themes that have shaped the development of the religion throughout the modern era. Chapters examine (...) a variety of visual practices, including imagination, envisioning nationhood, the likeness of Jesus, modern art as a spiritual quest, the material life of words, and the importance of images for education, devotion, worship, and domestic life."--Provided by publisher. (shrink)

Deontic Logic goes back to Ernst Mally’s 1926 work, Grundgesetze des Sollens: Elemente der Logik des Willens [Mally. E.: 1926, Grundgesetze des Sollens: Elemente der Logik des Willens, Leuschner & Lubensky, Graz], where he presented axioms for the notion ‘p ought to be the case’. Some difficulties were found in Mally’s axioms, and the field has much developed. Logic of Knowledge goes back to Hintikka’s work Knowledge and Belief [Hintikka, J.: 1962, Knowledge and Belief: An Introduction to the Logic of (...) the Two Notions, Cornell University Press] in which he proposed formal logics of knowledge and belief. This field has also developed quite a great deal and is now the subject of the TARK conferences. However, there has been relatively little work combining the two notions of knowledge (belief) with the notion of obligation. (See, however, [Lomuscio, A. and Sergot, M.: 2003, Studia Logica 75 63–92; Moore, R. C.: 1990, In J. F. Allen, J. Hendler and A. Tate (eds.), Readings in Planning, Morgan Kaufmann Publishers, San Mateo, CA]) In this paper we point out that an agent’s obligations are often dependent on what the agent knows, and indeed one cannot reasonably be expected to respond to a problem if one is not aware of its existence. For instance, a doctor cannot be expected to treat a patient unless she is aware of the fact that he is sick, and this creates a secondary obligation on the patient or someone else to inform the doctor of his situation. In other words, many obligations are situation dependent, and only apply in the presence of the relevant information. Thus a case for combining Deontic Logic with the Logic of Knowledge is clear. We introduce the notion of knowledge based obligation and offer an S5, history based Kripke semantics to express this notion, as this semantics enables us to represent how information is transmitted among agents and how knowledge changes over time as a result of communications. We consider both the case of an absolute obligation (although dependent on information) as well as the (defeasible) notion of an obligation which may be over-ridden by more relevant information. For instance a physician who is about to inject a patient with drug d may find out that the patient is allergic to d and that she should use d′ instead. Dealing with the second kind of case requires a resort to non-monotonic reasoning and the notion of justified belief which is stronger than plain belief, but weaker than absolute knowledge in that it can be over-ridden. This notion of justified belief also creates a derived notion of default obligation where an agent has, as far as the agent knows, an obligation to do some action a. A dramatic application of this notion is our analysis of the Kitty Genovese case where, in 1964, a young woman was stabbed to death while 38 neighbours watched from their windows but did nothing. The reason was not indifference, but none of the neighbours had even a default obligation to act, even though, as a group, they did have an obligation to take some action to protect Kitty. (shrink)

The sociological literature on race operates under the progressive ideological assumption that systemic racism is the predominant cause of racial disparities. This assumption has become “paradigmatic,” shaping the selection of research questions and the interpretation of research results. Consequently, the literature offers a rather narrow “Overton window” concerning what we, as sociologists, know about: (1) the causes of racial disparities, (2) the accuracy and motivation behind the public’s views on race-related issues, and (3) race-related policy preferences. A paradigm shift is (...) needed to improve our understanding of racial disparities and devise more effective ways to address them. To achieve this end, sociologists should broaden their perspectives beyond attributing all racial disparities to systemic racism and consider additional hypotheses. From a policy perspective, to reduce racial disparities we should reconsider addressing social class and related factors early in life. (shrink)

ABSTRACTWilliam Morgan presents two diametrically opposed normative conceptions of sport and athletic excellence from late nineteenth/early twentieth-century British and American athletes. He claims that this example shows that the normative theory of sport presented by broad internalism is false or at least inadequate. As an alternative, he presents the concept of deep conventions, which, he claims, can successfully adjudicate such normative disputes. I argue that Morgan’s counterexample is not nearly so decisive against broad internalism as it might seem (...) and that his own solution, deep conventionalism does no better in solving the dispute and suffers from further issues of its own. (shrink)

Miklowitz’s central historical thesis is that Hegel’s “bold claims of metaphysics were burst into fragments under blows from Nietzsche’s hammer”. This thesis fails to account for the many profitable readings of Hegel as an epistemologist rather than a metaphysician. In Miklowitz’s reading, Hegel seems to fit the Schopenhauerian caricature of the pompous Schwabian concocting “grandiose... hubristic” pretensions to absolute knowledge “that would have made even Faust blush”.

This is the story, told in the light of a new analysis of historical data, of a mathematical biology problem that was explored in the 1930s in Thomas Morgan’s laboratory at the California Institute of Technology. It is one of the early developments of evolutionary genetics and quantitative phylogeny, and deals with the identification and counting of chromosomal inversions in Drosophila species from comparisons of genetic maps. A re-analysis of the data produced in the 1930s using current mathematics and (...) computational technologies reveals how a team of biologists, with the help of a renowned mathematician and against their first intuition, came to an erroneous conclusion regarding the presence of phylogenetic signals in gene arrangements. This example illustrates two different aspects of a same piece: the appearance of a mathematical in biology problem solved with the development of a combinatorial algorithm, which was unusual at the time, and the role of errors in scientific activity. Also underlying is the possible influence of computational complexity in understanding the directions of research in biology. (shrink)

The Problem of Biological Individuality is the problem of how to count organisms. Whilst counting organisms may seem easy, the biological world is full of difficult cases such as colonial siphonophores and aspen tree groves. One of the main solutions to the Problem of Biological Individuality is the Physiological Approach. Drawing on an argument made by Eric Olson in the personal identity debate, I argue that the Physiological Approach faces a metaphysical problem - the ‘Foetus Problem’. This paper illustrates (...) how metaphysics can contribute to debates about organisms in the philosophy of biology. (shrink)

On the centennial of the death of William James (1842-1910), I approached faculty members at eighteen major theological centers of learning requesting them to identify the twelve most important books in the field of the psychology of religion written between James' 1902 classic The Varieties of Religious Experience up to Peter Homan's 1970 Theology After Freud. The request was for each faculty member (by agreement to remain anonymous) to identify the twelve books during that time period (1902-1970) which, in their (...) opinion, constituted major contributions to the development of the discipline of psychology of religion. By mutual agreement, James was credited with being the purported founder of the psychology of religion and Homans the quintessential culmination of the discipline's respectability. Though obviously subjective, the survey did register a consensus of scholars teaching in the field and what follows is a critical assessment of the merits of those books which they selected. (shrink)

ABSTRACTIn a recent article in this Journal, Eric Moore criticized an earlier essay of mine published in this same Journal on two fronts. On the first, he criticized my criticisms of broad internalism for relying on abstract moral principles too far removed from the practice of sport to adjudicate normative conflicts in which disputants cannot agree on what is the purpose of sport. On the second front, he criticized my reliance on what he called Rorty’s “controversial” views of truth (...) and rationality to back up my criticisms of broad internalism. I find both criticisms forceful but not persuasive. In my reply, therefore, I defend both use of Rorty’s and other similar historicist takes on rational justification and my criticisms of broad internalism principles-based approach to normative inquiry in sport. (shrink)

This piece is a comment on Quilty-Dunn, Jake, Nicolas Porot, and Eric Mandelbaum. 2023. “The Best Game in Town: The Reemergence of the Language-of-Thought Hypothesis across the Cognitive Sciences.” Behavioral and Brain Sciences 46: e261. -/- The target article signal boosts important ongoing work across the cognitive sciences. However, its theoretical claims, generative value, and purported contributions are – where not simply restatements of arguments extensively explored elsewhere – imprecise, noncommittal, and underdeveloped to a degree that makes them difficult (...) to evaluate. The article's apparent force results from engaging with straw rather than steel opponents. (shrink)

A successful theory of the language of subjective uncertainty would meet several important constraints. First, it would explain how use of the language of subjective uncertainty affects addressees’ states of subjective uncertainty. Second, it would explain how such use affects what possibilities are treated as live for purposes of conversation. Third, it would accommodate 'quantifying in' to the scope of epistemic modals. Fourth, it would explain the norms governing the language of subjective uncertainty, and the differences between them and the (...) norms governing the language of subjective certainty. Neither truth conditional nor traditional force modfier theories of the language of subjective uncertainty look adequate to the task of satisfying all four of these constraints. (shrink)

This book considers how observations about the past influence future behaviour, as expressed in language. Focusing on information gathered from speech and other evidence sources, the author offers a model of how judgements about reliability can be made, and how such judgements factor into how people treat information they acquire via those sources.

There is now a considerable body of published work on the epistemology of modern chemistry, especially with regard to the nature of quantum chemistry. In addition, the question of the metaphysical underpinnings of chemistry has received a good deal of attention. The present article concentrates on metaphysical considerations including the question of whether elements and groups of elements are natural kinds. It is also argued that an appeal to the metaphysical nature of elements can help clarify the re-emerging controversies among (...) chemists regarding the placement of the elements hydrogen and helium in the periodic system and the question of whether there exists a best form of the periodic table. (shrink)

Based on the "Guide to the Human Fertilisation and Embryology Act 1990", this volume reviews the regulation of assisted conception including complex moral issues such as abortion, embryo research and cloning.

Der Band widmet sich den Spezifika des Verhältnisses zwischen Religion, Ethik und Politik in der modernen Gesellschaft. Die versammelten Beiträge klären insbesondere, welche inhaltlichen Verbindungen und institutionellen Trennlinien der (säkulare) demokratische Rechtsstaat erlaubt bzw. auch verlangt. Ob die Politik dabei ihre eigene "Moral" ausbilden muss, weil die ethische und religiöse Kardinalfrage nach dem "guten" Leben ihren Bereich überfordert, wird anhand von zahlreichen aktuellen religionspolitischen Problemkreisen erörtert."-- Back cover.

DIVA new look at Kenneth Arrow’s classic study of the economics of health care: is his formulation still relevant 40 years later?/div.

Differing views on reduction are briefly reviewed and a suggestion is made for a working definition of 'approximate reduction'. Ab initio studies in quantum chemistry are then considered, including the issues of convergence and error bounds. This includes an examination of the classic studies on CH2 and the recent work on the Si2C molecule. I conclude that chemistry has not even been approximately reduced.

The Derrida Dictionary is a comprehensive and accessible guide to the world of Jacques Derrida, the founder of deconstruction and one of the most important and influential European thinkers of the twentieth century. Meticulously researched and extensively cross-referenced, this unique book covers all his major works, ideas and influences and provides a firm grounding in the central themes of Derrida's thought. Students will discover a wealth of useful information, analysis and criticism. A-Z entries include clear definitions of all the key (...) terms used in Derrida's writings and detailed synopses of his key works. The Dictionary also includes entries on Derrida's major philosophical influences and those he engaged with, such as Kant, Hegel, Husserl, Freud, Heidegger, Foucault, Lacan and Levinas. It covers everything that is essential to a sound understanding of Derrida's philosophy, offering clear and accessible explanations of often complex terminology. The Derrida Dictionary is the ideal resource for anyone reading or studying Derrida, deconstruction or modern European philosophy more generally. (shrink)